Mathematical induction - PDFSEARCH.IO - Document Search Engine

Mathematical induction
Results: 210

#	Item
11	Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Ordinal numbers Mathematics Abstraction Cardinal numbers Set theory Wellfoundedness Infinity Ordinal arithmetic Transfinite induction Constructible universe Aleph number
12	A Revenge-Immune Solution to the Semantic Paradoxes Hartry Field∗ August 29, 2002 Abstract Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Mathematical logic Mathematics Ordinal numbers Philosophy of mathematics Constructible universe Transfinite induction Generalised Whitehead product Ordinal arithmetic
13	Planning for Change in a Formal Verification of the Raft Consensus Protocol Doug Woos Zachary Tatlock James R. Wilcox Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2016-01-04 17:45:16 Logic in computer science Fault-tolerant computer systems Distributed algorithms Mathematical induction Raft Formal verification Consensus Leader election Mathematical proof Paxos Intuitionistic logic
14	Electronic Communications of the EASST VolumeProceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-11-05 07:20:14 Mathematical logic Mathematical proofs Theoretical computer science Mathematical induction Recursion Structural induction Rippling Algorithm Theorem
15	Course Syllabus: CS 141: Intermediate Data Structures and Algorithms Winter, 2009 Course Description: Basic algorithm analysis techniques; asymptotic complexity; big-O and big-Omega notations; induction and recurrence re Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2009-01-07 13:50:34 Operations research Algorithms Introduction to Algorithms Mathematical optimization Divide and conquer algorithms Greedy algorithm Dynamic programming Sorting algorithm
16	Take One or Two December 2, 2015 Consider the following game. The board consists of n tokens. At each turn, a player must take either 1 or 2 tokens off the board (which are discarded). The player who takes the last token Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-12-04 19:21:56 Combinatorial game theory Mathematical induction Token coin Mathematical proof Mathematical games Hot game SpragueGrundy theorem
17	Intuitionistic Sets and Ordinals Paul Taylor 1993 Abstract Transitive extensional well founded relations provide an intuitionistic notion of ordinals Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:52:19 Ordinal numbers Set theory Mathematical logic Recursion Wellfoundedness Constructible universe Well-founded relation Transfinite induction Transitive set Burali-Forti paradox Equality Implementation of mathematics in set theory
18	Hipster: Integrating Theory Exploration in a Proof Assistant Moa Johansson, Dan Ros´en, Nicholas Smallbone, and Koen Claessen Department of Computer Science and Engineering, Chalmers University of Technology {jomoa,danr Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-05-05 03:54:39 Mathematical proofs Lemmas Five lemma Homological algebra Structural induction Theorem Proof assistant
19	Logic and Proof Jeremy Avigad Robert Y. Lewis Floris van Doorn Version 891edf9, updated at:06: Add to Reading List Source URL: avigad.github.io Language: English - Date: 2016-08-13 19:54:37 Proof theory Formal systems Methods of proof Mathematical proofs Deductive reasoning Propositional calculus Natural deduction Theorem Rule of inference First-order logic Mathematical induction Formal proof
20	BU CAS CS 320 (Summer I, Concepts of Programming Languages Inductive Reasoning Induction is a powerful tool for reasoning in mathematics. In the study of programming languages, it is frequent to encounter inductiv Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2016-05-19 17:18:34 Logic in computer science Mathematical proofs Mathematical induction Structural induction Binary tree Exponentiation Trace Markov number